<!DOCTYPE html>
<html>

<head></head>

<body>
  <script>
    if (window.location.hostname === 'tencent.github.io') {
      window.location.href = (window.location.pathname + '/examples/index.html').replace(/\/{2,}/g, '/');
    } else {
      window.location.href = '/examples/index.html';
    }
  </script>
</body>

</html>
